Computation focusing

Focusing on Computation with Binding

Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support for both representing and computing with binding. This language is extracted as the Curry-Howard interpretation of a focused sequent calculus with two kinds of implication, of opposite polarity. The representational arrow...

Symbolic computation of the Duggal transform

Following the results of cite{Med}, regarding the Aluthge transform of polynomial matrices, the symbolic computation of the Duggal transform of a polynomial matrix $A$ is developed in this paper, using the polar decomposition and the singular value decomposition of $A$. Thereat, the polynomial singular value decomposition method is utilized, which is an iterative algorithm with numerical charac...

Isoelectric focusing.

Advertisements Evaluation Focusing on Human Face

Given the importance of advertising and the massive expenditures on it, evaluating its effectiveness is one of the key questions in marketing. Also endorser as the most commonly used communication tool, allocates a large portion of advertising costs and its use is still under development. In this project, we use Communicational and Observational approaches to explore the impact of utilizing ‘hu...

Focusing geophysical inversion images

A critical problem in inversion of geophysical data is developing a stable inverse problem solution that can si­ multaneously resolve complicated geological structures. The traditional way to obtain a stable solution is based on maximum smoothness criteria. This approach, however, provides smoothed unfocused images of real geoelectri­ cal structures. Recently, a new approach to reconstruc­ tion...